退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:故障树分析,用于航空软件中的安全性/安全性验证
Andrew J. Kornecki; Mingye Liu;
机译:航空软件安全/安保验证的故障树分析
机译:使用软件故障树进行以安全为重点的验证*
机译:使用软件故障树对Ada程序进行安全验证
机译:使用软件故障树的ADA95程序安全验证
机译:用于软件安全和安全性的人为验证
机译:铸造企业的砂型铸造安全性评估:故障树分析Heinrich事故三角形HAZOP-LOPA领结模型
机译:分析和验证安全和安全软件的方法
机译:使用故障树分析优化用于功能安全性的控制流程图的系统和方法
机译:使用故障树分析优化功能安全性控制流程图的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。